Set theory

Results: 2815



#Item
251Logic / Mathematical logic / Predicate logic / Abstraction / Proof assistants / Mizar system / Andrzej Trybulec / Formal methods / First-order logic / TarskiGrothendieck set theory / Constructible universe / Mizar

Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski

Add to Reading List

Source URL: www.mizar.org

Language: English - Date: 2016-07-29 01:16:07
252Mathematical analysis / Mathematics / Potential theory / Stochastic processes / Complex dynamics / Fractals / Partial differential equations / Julia set / Pierre Fatou / Poisson boundary / Harmonic function / Random walk

Julia Set As A Martin Boundary

Add to Reading List

Source URL: sharif.x10.mx

Language: English - Date: 2011-10-05 08:55:15
253Microeconomics / Market / Pricing / Consumer theory / Economic surplus / Supply and demand / Monopoly / Economic equilibrium / Price discrimination / Marginal cost / Excess supply / Demand

Econ 1 SpringProblem Set 4: Due Mar 2/3 Sample Midterm A Section I: Key Terms—Police the Reading 1. What does Partha Dasgupta think Friedrich von Hayek deserved his Nobel Prize?

Add to Reading List

Source URL: delong.typepad.com

Language: English - Date: 2016-03-05 08:47:45
254Combinatorics / Algebraic topology / CW complex / Homotopy theory / Lattice / Partition of a set

DADA: A Data Cube for Dominant Relationship Analysis Cuiping Li1 Beng Chin Ooi2 Anthony K.H. Tung2

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2006-07-01 21:06:35
255NP-complete problems / Circular-arc graph / Longest path problem / Hamiltonian path / Interval graph / Intersection graph / Independent set / Graph theory / Pathwidth / Trapezoid graph

Computing and Counting Longest Paths on Circular-Arc Graphs in Polynomial Time

Add to Reading List

Source URL: community.dur.ac.uk

Language: English - Date: 2011-12-14 14:46:08
256NP-complete problems / Graph theory / Network theory / Edsger W. Dijkstra / Shortest path problem / Maximal independent set / Independent set / Matching / Bipartite graph / Degree / Graph / Line graph

On the Parameterized Complexity for Token Jumping on Graphs Takehiro Ito1 , Marcin Kami´ nski2 , Hirotaka Ono3 , 1 4

Add to Reading List

Source URL: rutcor.rutgers.edu

Language: English - Date: 2014-04-14 14:04:38
257Homotopy theory / Algebraic topology / Simplicial set / Simplicial map / Nerve / Equivariant cohomology / CW complex / Simplicial complex / Universal bundle / Classifying space / Fundamental group / Contractible space

1 K-theory and the enriched Tits building Madhav V. Nori Vasudevan Srinivas

Add to Reading List

Source URL: www.math.tifr.res.in

Language: English - Date: 2010-05-28 00:48:20
258Set theory / Subclass / Constructible universe / S / Web Ontology Language

Understanding Taxonomies of Ecosystems: a Case Study Alexandre Sorokine1 and Thomas Bittner2 1 2

Add to Reading List

Source URL: www.acsu.buffalo.edu

Language: English - Date: 2004-07-13 18:03:38
259Operator theory / Geometric group theory / Topological groups / Equivalence relation / Amenable group / Quasi-isometry / Von Neumann algebra / Null set / System of imprimitivity / Spectral theory of ordinary differential equations

L2-Torsion, the measure-theoretic determinant conjecture, and uniform measure equivalence

Add to Reading List

Source URL: 131.220.77.52

Language: English - Date: 2011-03-02 09:33:09
260Combinatorics / Order theory / Multiset / Block cipher / Permutation / Pseudorandom permutation / Path ordering / Combination / Integral / Set

Structural Evaluation by Generalized Integral Property? Yosuke Todo NTT Secure Platform Laboratories, Tokyo, Japan

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-07-02 20:32:13
UPDATE